/*
 * DeltaNotifier.h
 *
 *  Created on: Jun 3, 2010
 *      Author: sdaniele
 */

#ifndef DELTANOTIFIER_H_
#define DELTANOTIFIER_H_

#include "EventUser.h"
namespace noti {

class DeltaNotifier: public EventUser {
protected:
	virtual void init_sensitive();

public:
	DeltaNotifier(::std::string name, sc_event* event, const sc_clock* clk, bool is_thread);
	virtual ~DeltaNotifier();

	virtual void do_method_work();
	virtual ::std::string report() const {
		return EventUser::report();
	}
};

}

#endif /* DELTANOTIFIER_H_ */
